extension | φ:Q→Out N | d | ρ | Label | ID |
(C2xC5:C8).1C22 = C20:3M4(2) | φ: C22/C1 → C22 ⊆ Out C2xC5:C8 | 160 | | (C2xC5:C8).1C2^2 | 320,1019 |
(C2xC5:C8).2C22 = C42.14F5 | φ: C22/C1 → C22 ⊆ Out C2xC5:C8 | 160 | | (C2xC5:C8).2C2^2 | 320,1020 |
(C2xC5:C8).3C22 = C42.15F5 | φ: C22/C1 → C22 ⊆ Out C2xC5:C8 | 160 | | (C2xC5:C8).3C2^2 | 320,1021 |
(C2xC5:C8).4C22 = C42.7F5 | φ: C22/C1 → C22 ⊆ Out C2xC5:C8 | 160 | | (C2xC5:C8).4C2^2 | 320,1022 |
(C2xC5:C8).5C22 = C20:C8:C2 | φ: C22/C1 → C22 ⊆ Out C2xC5:C8 | 160 | | (C2xC5:C8).5C2^2 | 320,1034 |
(C2xC5:C8).6C22 = C4:C4.9F5 | φ: C22/C1 → C22 ⊆ Out C2xC5:C8 | 160 | | (C2xC5:C8).6C2^2 | 320,1046 |
(C2xC5:C8).7C22 = Dic5.13M4(2) | φ: C22/C1 → C22 ⊆ Out C2xC5:C8 | 160 | | (C2xC5:C8).7C2^2 | 320,1095 |
(C2xC5:C8).8C22 = C20:8M4(2) | φ: C22/C1 → C22 ⊆ Out C2xC5:C8 | 160 | | (C2xC5:C8).8C2^2 | 320,1096 |
(C2xC5:C8).9C22 = C20.30M4(2) | φ: C22/C1 → C22 ⊆ Out C2xC5:C8 | 160 | | (C2xC5:C8).9C2^2 | 320,1097 |
(C2xC5:C8).10C22 = C20:2M4(2) | φ: C22/C1 → C22 ⊆ Out C2xC5:C8 | 160 | | (C2xC5:C8).10C2^2 | 320,1112 |
(C2xC5:C8).11C22 = (C2xD4).7F5 | φ: C22/C1 → C22 ⊆ Out C2xC5:C8 | 160 | | (C2xC5:C8).11C2^2 | 320,1113 |
(C2xC5:C8).12C22 = (C2xD4).8F5 | φ: C22/C1 → C22 ⊆ Out C2xC5:C8 | 160 | | (C2xC5:C8).12C2^2 | 320,1114 |
(C2xC5:C8).13C22 = (C2xQ8).5F5 | φ: C22/C1 → C22 ⊆ Out C2xC5:C8 | 160 | | (C2xC5:C8).13C2^2 | 320,1125 |
(C2xC5:C8).14C22 = C42.5F5 | φ: C22/C2 → C2 ⊆ Out C2xC5:C8 | 160 | | (C2xC5:C8).14C2^2 | 320,1014 |
(C2xC5:C8).15C22 = C4xC4.F5 | φ: C22/C2 → C2 ⊆ Out C2xC5:C8 | 160 | | (C2xC5:C8).15C2^2 | 320,1015 |
(C2xC5:C8).16C22 = C42.6F5 | φ: C22/C2 → C2 ⊆ Out C2xC5:C8 | 160 | | (C2xC5:C8).16C2^2 | 320,1016 |
(C2xC5:C8).17C22 = C42.11F5 | φ: C22/C2 → C2 ⊆ Out C2xC5:C8 | 160 | | (C2xC5:C8).17C2^2 | 320,1017 |
(C2xC5:C8).18C22 = C42.12F5 | φ: C22/C2 → C2 ⊆ Out C2xC5:C8 | 160 | | (C2xC5:C8).18C2^2 | 320,1018 |
(C2xC5:C8).19C22 = Dic5.C42 | φ: C22/C2 → C2 ⊆ Out C2xC5:C8 | 160 | | (C2xC5:C8).19C2^2 | 320,1029 |
(C2xC5:C8).20C22 = C5:C8:8D4 | φ: C22/C2 → C2 ⊆ Out C2xC5:C8 | 160 | | (C2xC5:C8).20C2^2 | 320,1030 |
(C2xC5:C8).21C22 = C5:C8:D4 | φ: C22/C2 → C2 ⊆ Out C2xC5:C8 | 160 | | (C2xC5:C8).21C2^2 | 320,1031 |
(C2xC5:C8).22C22 = D10:M4(2) | φ: C22/C2 → C2 ⊆ Out C2xC5:C8 | 160 | | (C2xC5:C8).22C2^2 | 320,1032 |
(C2xC5:C8).23C22 = Dic5:M4(2) | φ: C22/C2 → C2 ⊆ Out C2xC5:C8 | 160 | | (C2xC5:C8).23C2^2 | 320,1033 |
(C2xC5:C8).24C22 = C23.(C2xF5) | φ: C22/C2 → C2 ⊆ Out C2xC5:C8 | 160 | | (C2xC5:C8).24C2^2 | 320,1035 |
(C2xC5:C8).25C22 = D10.C42 | φ: C22/C2 → C2 ⊆ Out C2xC5:C8 | 160 | | (C2xC5:C8).25C2^2 | 320,1039 |
(C2xC5:C8).26C22 = D20:2C8 | φ: C22/C2 → C2 ⊆ Out C2xC5:C8 | 160 | | (C2xC5:C8).26C2^2 | 320,1040 |
(C2xC5:C8).27C22 = Dic10:C8 | φ: C22/C2 → C2 ⊆ Out C2xC5:C8 | 320 | | (C2xC5:C8).27C2^2 | 320,1041 |
(C2xC5:C8).28C22 = D10:2M4(2) | φ: C22/C2 → C2 ⊆ Out C2xC5:C8 | 160 | | (C2xC5:C8).28C2^2 | 320,1042 |
(C2xC5:C8).29C22 = C20:M4(2) | φ: C22/C2 → C2 ⊆ Out C2xC5:C8 | 160 | | (C2xC5:C8).29C2^2 | 320,1043 |
(C2xC5:C8).30C22 = C4:C4.7F5 | φ: C22/C2 → C2 ⊆ Out C2xC5:C8 | 160 | | (C2xC5:C8).30C2^2 | 320,1044 |
(C2xC5:C8).31C22 = Dic5.M4(2) | φ: C22/C2 → C2 ⊆ Out C2xC5:C8 | 320 | | (C2xC5:C8).31C2^2 | 320,1045 |
(C2xC5:C8).32C22 = C20.M4(2) | φ: C22/C2 → C2 ⊆ Out C2xC5:C8 | 320 | | (C2xC5:C8).32C2^2 | 320,1047 |
(C2xC5:C8).33C22 = C2xC20:C8 | φ: C22/C2 → C2 ⊆ Out C2xC5:C8 | 320 | | (C2xC5:C8).33C2^2 | 320,1085 |
(C2xC5:C8).34C22 = Dic5.12M4(2) | φ: C22/C2 → C2 ⊆ Out C2xC5:C8 | 160 | | (C2xC5:C8).34C2^2 | 320,1086 |
(C2xC5:C8).35C22 = C2xC10.C42 | φ: C22/C2 → C2 ⊆ Out C2xC5:C8 | 320 | | (C2xC5:C8).35C2^2 | 320,1087 |
(C2xC5:C8).36C22 = C4xC22.F5 | φ: C22/C2 → C2 ⊆ Out C2xC5:C8 | 160 | | (C2xC5:C8).36C2^2 | 320,1088 |
(C2xC5:C8).37C22 = C2xDic5:C8 | φ: C22/C2 → C2 ⊆ Out C2xC5:C8 | 320 | | (C2xC5:C8).37C2^2 | 320,1090 |
(C2xC5:C8).38C22 = C20.34M4(2) | φ: C22/C2 → C2 ⊆ Out C2xC5:C8 | 160 | | (C2xC5:C8).38C2^2 | 320,1092 |
(C2xC5:C8).39C22 = D4xC5:C8 | φ: C22/C2 → C2 ⊆ Out C2xC5:C8 | 160 | | (C2xC5:C8).39C2^2 | 320,1110 |
(C2xC5:C8).40C22 = C5:C8:7D4 | φ: C22/C2 → C2 ⊆ Out C2xC5:C8 | 160 | | (C2xC5:C8).40C2^2 | 320,1111 |
(C2xC5:C8).41C22 = Q8xC5:C8 | φ: C22/C2 → C2 ⊆ Out C2xC5:C8 | 320 | | (C2xC5:C8).41C2^2 | 320,1124 |
(C2xC5:C8).42C22 = C20.6M4(2) | φ: C22/C2 → C2 ⊆ Out C2xC5:C8 | 320 | | (C2xC5:C8).42C2^2 | 320,1126 |
(C2xC5:C8).43C22 = C4xD5:C8 | φ: trivial image | 160 | | (C2xC5:C8).43C2^2 | 320,1013 |
(C2xC5:C8).44C22 = C2xC4xC5:C8 | φ: trivial image | 320 | | (C2xC5:C8).44C2^2 | 320,1084 |
(C2xC5:C8).45C22 = C2xQ8.F5 | φ: trivial image | 160 | | (C2xC5:C8).45C2^2 | 320,1597 |